<%-- This file should be included in frames.jsp and mapframe.jsp and will resize the map
     according to the parameters passed in from tab.html.
--%>
<%@ page
	language = "java"
	import="com.mapinfo.jsptags.util.MappingSession, com.mapinfo.jsptags.util.ServerProperties"
	contentType = "text/html;charset=UTF-8"
%>
<%
	//Get the ServerProperties from the current context.
	ServerProperties serverProperties = (ServerProperties)application.getAttribute(com.mapinfo.jsptags.RequestHandler.SERVER_PROPERTIES_ATTRIBUTE + "frames");
	//Get the client's MappingSession object
	MappingSession mappingSession = MappingSession.getMappingSession("frames", session, serverProperties);
	//These parameters could be passed in from tab.html
	if(request.getParameter("mapwidth")!=null) {
		mappingSession.setMapWidth(Integer.parseInt(request.getParameter("mapwidth")));
	}
	if(request.getParameter("mapheight")!=null) {
		mappingSession.setMapHeight(Integer.parseInt(request.getParameter("mapheight")));
	}
%>
